home *** CD-ROM | disk | FTP | other *** search
/ Java Programmer's Toolkit / Java Programmer's Toolkit.iso / hotjava / doc / rpi / dbinfo~1 < prev    next >
Encoding:
Text File  |  1995-05-19  |  138 b   |  6 lines
  1. JavaSearch Database info file
  2. dbName:../../doc/rpi/
  3. docPathPrefix:
  4. docURLPrefix:
  5. description:JavaSearch database created with 'javaindex'
  6.